- символ дизъюнкции
- n
IT. (операции) Disjunktionssymbol
Универсальный русско-немецкий словарь. Академик.ру. 2011.
Универсальный русско-немецкий словарь. Академик.ру. 2011.
ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… … Философская энциклопедия
СУЖДЕНИЕ — мысль, выражаемая повествовательным предложением и являющаяся истинной или ложной. С. лишено психологического оттенка, свойственного утверждению. Хотя С. находит свое выражение только в языке, оно, в отличие от предложения, не зависит от… … Философская энциклопедия
История математических обозначений — Математические обозначения это символы, используемые для компактной записи математических уравнений и формул[1]. Помимо цифр и букв различных алфавитов (латинского, в том числе в готическом начертании, греческого и еврейского),… … Википедия
ЗНАК — материальный предмет (явление, событие), выступающий в качестве представителя некоторого др. предмета, свойства или отношения и используемый для приобретения, хранения, переработки и передачи сообщений (информации, знаний). Различают… … Философская энциклопедия
символика логическая — система знаков (символов), используемая в логике для обозначения термов, предикатов, выска зываний, логических функций, отношений между высказываниями. В разных логических системах могут использоваться различные системы обозначений, поэтому ниже… … Словарь терминов логики
ПИРС — (Peirce) Чарльз Сандерс (1839 1914) амер. философ и ученый, основатель прагматизма. Род. и бoльшую часть жизни провел в г. Кембридже (шт. Массачусетс). Время от времени читал курсы лекций в Гарварде и ун те Джонса Хопкинса. Он публиковал в… … Философская энциклопедия
ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — общее название исчислений математической логики, являющихся формализацией тех разделов совр. логики, к рые изучают субъектно предикатную структуру предложений (высказываний), понимаемую в более широком, чем в традиц. логике, смысле: помимо теории … Философская энциклопедия
Тогда и только тогда — Запрос «If and only if» перенаправляется сюда; другие значения см. IFF (значения). ↔ ⇔ ≡ Логические символы, изобра жающие тогда и только тогда. В логике и смежных с ней областях, таких как математика и философия, тогда и только тогда является… … Википедия
ВЕРА — глубинная общечеловеческая универсалия культуры, фиксирующая комплексный феномен индивидуального и массового сознания, включающий в себя такие аспекты, как гносеологический (принятие в качестве истинного тезиса, не доказанного с достоверностью… … Новейший философский словарь
Понятие — Эта статья должна быть полностью переписана. На странице обсуждения могут быть пояснения. Понятие отображённое в мышлении единство существенных свойств, связей и отношен … Википедия
Сложение по модулю 2 — Рис. 1 График побитового исключающего «или» Сложение по модулю 2 (логическое сложение, исключающее «ИЛИ», строгая дизъюнкция, XOR, поразрядное дополнение, побитовый комплемент) булева функция, а также … Википедия